(corps entier